Koha online

1.
Applications of process algebra

by Baeten, J. C. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 512 BAE] (1).
Place hold
2.
Concurrency verification : introduction to compositional and noncompositional methods.

by De Roever, Willem-Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2001Availability: Items available for loan: [Call number: 004.35 ROE] (1).
Place hold
3.
Process algebra : equational theories of communicating processes

by Baeten, J. C. M | Basten, T | Reniers, M. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 004.0151 BAE] (1).
Place hold

Powered by Koha